101. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
102. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
103. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
104. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده : edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
105. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
106. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
107. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
108. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده : Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
109. Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده : Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Informatique.,Logic programming -- Congresses.,Logic programming.
110. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850
111. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
112. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
113. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
114. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
115. Logic, language, information, and computation :
پدیدآورنده : Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2019
116. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
117. Logic programming '88 :
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming-- Congresses.
رده :
QA76
.
63
.
L63
1989
118. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
پدیدآورنده : A. Voronkov, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
624
119. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses
رده :
QA
76
.
63
.
I55
1992
120. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(
کتابخانه: (طهران)
موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses
رده :
QA
76
.
63
.
I55
1992
